Tag quantos números de quatro algarismos distintos podemos formar empregando os caracteres